Add DOS extensions to filenames